Thiết kế cho tính song song trong Elixir vượt xa việc khởi tạo đơn giản các tiến trình; nó đòi hỏi một phương pháp nghiêm ngặt để đạt được độ tin cậy 99,9999999% (chín số chín). Điều này tương đương với khoảng 1 giây mất kết nối mỗi 30 năm. Để đạt được tiêu chuẩn này, chúng ta sử dụng khung Năm Câu hỏi.

Nguyên lý cấu trúc

Trước khi viết bất kỳ dòng mã OTP nào, hãy sử dụng những câu hỏi này để phân tích các vấn đề có trạng thái thành các thành phần cơ bản dễ quản lý:

• Môi trường & Giới hạn: Liệu nó có phải là một nút duy nhất? Một cụm toàn cầu? Các giới hạn về bộ nhớ/IO là gì?
• Điểm tập trung: Dữ liệu nằm ở đâu? Ai là người "sở hữu" trạng thái (ví dụ: sổ ghi kết quả)?
• Đặc điểm thời gian chạy: Có bao nhiêu yêu cầu đồng thời? Chúng có bị giới hạn bởi CPU hay IO không?
• Bảo vệ: Trạng thái nào cần tồn tại? Chúng ta có thể chấp nhận mất đi và khởi động lại cái gì?
• Khởi tạo: Chúng ta khởi tạo cây như thế nào? Dịch vụ nào phụ thuộc vào nhau?

Bằng cách coi những câu hỏi này là các ràng buộc, bạn sẽ ngăn ngừa tình trạng song song kiểu "quả bóng bùn lớn" nơi mọi tiến trình đều giao tiếp với nhau mà không có cấu trúc rõ ràng.